Special Issue on Automated Perception of Human Affect from Longitudinal Behavioral Data

Introduction to the Affect-Based Human Behavior Understanding Special Issue

COMPUTER analysis of human behavior has been receiving a lot of attention in the past few years. The main drive behind this interest is the widespread penetration of computer-based systems and Internet applications that increasingly enter the domain of social relations. This requires more responsive systems, capable of adapting to the rich behavior patterns exhibited by interacting humans. The ...

Special issue on Automated Verification of Critical Systems (AVoCS'11)

AVoCS 2014, the 14th International Conference on Automated Verification of Critical Systems has been hosted by the University of Twente, and has taken place in Enschede, Netherlands, on 24–26 September, 2014. The aim of the AVoCS series is to contribute to the interaction and exchange of ideas among members of the international research community on tools and techniques for the verification of ...

Special issue on Automated Specification and Verification of Web Systems

We solicit original papers on topics of either theoretical or applied interest, which include, but are not limited to: Rule-based approaches to Web system analysis, certification, specification, verification, and optimization. Languages and models for programming and designing Web systems. Formal methods for describing and reasoning about Web systems. Model-checking, synthesis and debugging of ...

Special issue on practical aspects of automated reasoning

The Suggested Upper Merged Ontology (SUMO) has provided the TPTP problem library with problems that have large numbers of axioms, of which typically only a few are needed to prove any given conjecture. The LTB division of the CADE ATP System Competition tests the performance of ATP systems on these types of problems. The SUMO problems were used in the SMO category of the LTB division in 2008. T...

Special Issue